University of Cambridge - PDFSEARCH.IO - Document Search Engine

University of Cambridge
Results: 5721

#	Item
11	Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge Add to Reading List Source URL: thev.net Language: English - Date: 2016-09-29 13:08:21
12	Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric Add to Reading List Source URL: mosml.org Language: English - Date: 2014-08-29 03:47:37 Software engineering Computing Computer programming Procedural programming languages Functional languages Data types Standard ML Type theory Scope ML Variable Operator
13	A Look at the Consequences of Internet Censorship Through an ISP Lens Sheharbano Khattak1 , Mobin Javed2 , Syed Ali Khayam3 , Zartash Afzal Uzmi4 , Vern Paxson2,5 1 University of Cambridge, 2 UC Berkeley, 3 PLUMgrid, 4 Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:15
14	Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Excerpt More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2007-12-07 05:06:06 Overturned convictions in the United States Crime Law Capital punishment in the United States Criminal law Kirk Bloodsworth Capital punishment Death Penalty Information Center Innocence Project DNA profiling Capital punishment debate in the United States
15	Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Frontmatter More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2007-12-07 05:06:07 Crime Capital punishment in the United States Crime in the United States United States law Law Capital punishment Criminal law Innocence Project National Coalition to Abolish the Death Penalty Baumgartner
16	Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22} Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:38:21 Bots Software Computing Digital media Twitter bot Twitter Internet bot Social media Video game bot Spambot Botnet CongressEdits
17	Cambridge University PressThe Evolution and Extinction of the Dinosaurs, Second Edition David E. Fastovsky and David B. Weishampel Excerpt More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2006-11-25 11:38:07 Tyrannosaurus Late Cretaceous Environment of the United States Dinosaur Fossil Specimens of Tyrannosaurus Origin of birds Mesozoic David B. Weishampel Taphonomy Outline of dinosaurs
18	Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-11-23 15:55:32 Software engineering Computing Declarative programming Functional programming Lambda calculus Data types Models of computation Exponentials Eval Interpreter Scheme Exponential function
19	Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: cakeml.org Language: English - Date: 2013-05-10 10:01:51 Software engineering Computer programming Computing Proof assistants Logic in computer science Functional languages Automated theorem proving Theoretical computer science HOL Logic for Computable Functions Automated reasoning ML
20	Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2016-04-21 06:42:55 Cryptography Public-key cryptography Secret sharing Secure multi-party computation Cryptographic protocol Ivan Damgrd